基于HLA的导弹攻防仿真系统分析与设计

基于HLA建立仿真应用系统是提高作战仿真活动效率的有效途径。分析了导弹攻防仿真系统的组成和特点,在联邦开发与执行过程模型(FEDEP)基础上,结合作者的开发经验,探讨了基于HLA的仿真应用系统开发的一般过程,将其总结为系统分析、联邦设计、FOM/SOM开发、联邦成员实现与联邦集成四个步骤。给出了某地地导弹与宙斯盾防御系统攻防仿真的系统设计实例。     

Waiting time analysis for a queueing system with time‐limited service and exponential timer

We consider a single‐queue with exhaustive or gated time‐limited services and server vacations, in which the length of each service period at the queue is controlled by a timer, i.e., the server serves customers until the timer expires or the queue becomes empty, whichever occurs first, and then takes vacations. The customer whose service is interrupted due to the timer expiration may be attended according to nonpreemptive or preemptive service disciplines. For the M/G/1 exhaustive/gated time‐limited service queueing system with an exponential timer and four typical preemptive/nonpreemptive service disciplines, we derive the Laplace—Stieltjes transforms and the moment formulas for waiting times and sojourn times through a unified approach, and provide some new results for these time‐limited service disciplines. © John Wiley & Sons, Inc. Naval Research Logistics 48: 638–651, 2001.     

基于预防性维修工作组合的维修等级优化研究

针对单部件的维修间隔期无法反映系统的维修最佳间隔期这一问题,对装备各部件在各修理级别上的预防性维修任务组合情况进行了探索。通过建立费用模型作为决策模型,用以组合某一修理级别各部件的维修工作,得出系统预防性维修间隔期,并结合部队实际从系统的角度优化等级维修中的维修工作间隔期,为确定大、中、小修工作提供科学、合理的理论指导。该算法在区分各修理级别的维修能力的基础上,能较好地对各修理级别的维修工作组合情况进行了优化。实例验证了模型的实用性和有效性。     

Hilbert空间中Lipschitz拟伪压缩映像公共不动点的杂交投影算法

给出了Hilbert空间中Lipschitz拟伪压缩映像族公共不动点的一个投影算法，并利用所给出的算法证明了一个强收敛定理，扩展了参考文献[1]的结果。     

一种优化神经网络映射算法——吸收算法

本文揭示了神经计算的本质──并行分布处理,并以此为基础提出了时间步的概念。分析了映射算法的两个重要概念──负载均衡和通讯开销,并提出了映射分配准则。在神经网络的映射分配中引入图论的有关思想,提出了一种优化的神经网络映射算法──吸收算法。最后给出了重要的试验结果,这些数据表明吸收算法是一种有效的映射算法。     

VLSI与电子系统的层次化可测性设计

论述了一种对电子系统VLSI自顶向下的层次化自动化测试方法及层次化自测试的概念和相应的可测试性设计结构,并讨论了数模混合集成电路的可测试性设计问题。     

面向验证的启发技术设计

采用有效的人工智能技术提高验证效率正成为解决验证复杂性的手段之一。本文针对STG（State Transition Graph）中状态枚举数据量大的问题,提出隐含遍历的状态映射策略。并根据状态存储和电路结构特征,重点研究了HASH表状态冲突处理、函数域限定、函数不相交分解和混合搜索等启发技术策略。     

A—紧1—集压缩映象场的广义度理论

定义了A-紧1-集压缩映象场的广义度,扩展了1984年张庆雍建立的半紧1-集压缩映射的不动点指数理论。     

微机控制系统中的信息交换技术探讨

说明了在DOS环境下如何利用内存直接映像技术在微机控制系统中实现信息交换.介绍了双端口数据存储器的使用;提供了解决在对数据交换的实时性要求较高的控制系统中如何进行数据交换这一问题的方法和思路.     

模糊综合评判在雷达接收机等级评定中的应用

为消除技术等级评定中主观因素的影响,将多级模糊综合评判的方法运用于接收机的技术等级评定中。对雷达接收机的技术性能指标进行了层次分类,采用了一种以测试数据为基础的针对每一个因素的单因素评判方法,并以某型雷达接收机为例,给出其技术等级模糊综合评判的详细求解过程。